<HTML><HEAD><TITLE>glb(?SetVariable, -Glb)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(cardinal)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>glb(?SetVariable, -Glb)</H1>
Obtaining a set's glb
<DL>
<DT><EM>SetVariable</EM></DT>
<DD>A set variable.
</DD>
<DT><EM>Glb</EM></DT>
<DD>A set.
</DD>
</DL>
<H2>Description</H2>
Glb is unified with the (greatest) lower bound of SetVariable.
<H3>Fail Conditions</H3>
Fails if Glb can not be unified with the current glb of SetVariable.
<H3>Resatisfiable</H3>
No.
<H2>Examples</H2>
<PRE>
?- S `::[c]+[a,b], glb(S,G).
G = [c]
</PRE>
<H2>See Also</H2>
<A HREF="../../lib_public/cardinal/glb_poss-3.html">glb_poss / 3</A>, <A HREF="../../lib_public/cardinal/domain-2.html">domain / 2</A>, <A HREF="../../lib_public/cardinal/domain-3.html">domain / 3</A>, <A HREF="../../lib_public/cardinal/lub-2.html">lub / 2</A>, <A HREF="../../lib_public/cardinal/lub-4.html">lub / 4</A>, <A HREF="../../lib_public/cardinal/poss-2.html">poss / 2</A>
</BODY></HTML>
